Add format printf attribute to panic() prototype and fix the error

this catches.

Signed-off-by: Jimi Xenidis <jimix@watson.ibm.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/traps.c b/xen/arch/x86/traps.c
index 653786e9e3a58d54103868fdc338934c0b45696d..95e44db6d93a994d73abfbaed5bb54a76c120847 100644 (file)
--- a/xen/arch/x86/traps.c
+++ b/xen/arch/x86/traps.c
@@ -705,7 +705,7 @@ asmlinkage int do_page_fault(struct cpu_user_regs *regs)
         panic("CPU%d FATAL PAGE FAULT\n"
               "[error_code=%04x]\n"
               "Faulting linear address: %p\n",
-              smp_processor_id(), regs->error_code, addr);
+              smp_processor_id(), regs->error_code, _p(addr));
     }
 
     propagate_page_fault(addr, regs->error_code);

diff --git a/xen/include/xen/lib.h b/xen/include/xen/lib.h
index facfa2b09306e15b5b263d1ac83a2cb0e67cb954..8b9253b020588be374e9f2c2bd1d1478aca9e890 100644 (file)
--- a/xen/include/xen/lib.h
+++ b/xen/include/xen/lib.h
@@ -47,7 +47,8 @@ extern void debugtrace_printk(const char *fmt, ...);
 #define printk(_f , _a...) printf( _f , ## _a )
 extern void printf(const char *format, ...)
     __attribute__ ((format (printf, 1, 2)));
-extern void panic(const char *format, ...);
+extern void panic(const char *format, ...)
+    __attribute__ ((format (printf, 1, 2)));
 extern long vm_assist(struct domain *, unsigned int, unsigned int);
 
 /* vsprintf.c */